geb = function(se){
	os = document.getElementById(se);
	if(os == null){
		os = document.getElementsByName(se);
	}
	return os;
}
document.write('<scr'+'ipt language="javascript" type="text/javascript" src="event-listener.js"></script>');
document.write('<scr'+'ipt language="javascript" type="text/javascript" src="restrict.js"></script>');